Cosa (chi) è process algebra - definizione
DIVERSE FAMILY OF RELATED APPROACHES FOR FORMALLY MODELLING CONCURRENT SYSTEMS
Process algebra; Process algebras; Process Algebra; Process calculi; Basic Process Algebra; Hybrid process algebra; Hybrid Process Algebra; Sequential composition
Process calculus
In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes.
*-algebra
ALGEBRA EQUIPPED WITH AN INVOLUTION OVER A *-RING
Star algebra; *-homomorphism; * algebra; Involution algebra; Involutive algebra; *-ring; Star-algebra; * ring; Involutory ring; Involutary ring; Star ring; *algebra; Involutive ring
In mathematics, and more specifically in abstract algebra, a *-algebra (or involutive algebra) is a mathematical structure consisting of two involutive rings and , where is commutative and has the structure of an associative algebra over . Involutive algebras generalize the idea of a number system equipped with conjugation, for example the complex numbers and complex conjugation, matrices over the complex numbers and conjugate transpose, and linear operators over a Hilbert space and Hermitian adjoints.
Abstract algebra
![groups]]. For example, monoids are [[semigroup]]s with identity.](https://commons.wikimedia.org/wiki/Special:FilePath/Algebraic structures - magma to group.svg?width=200 "groups]]. For example, monoids are [[semigroup]]s with identity.")
BRANCH OF MATHEMATICS STUDYING ALGEBRAIC STRUCTURES AND THEIR RELATIONS
Abstract Algebra; Modern algebra; AbstractAlgebra; Applications of abstract algebra; History of abstract algebra; Abstract algebraist
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field.
Wikipedia
Process calculus
In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes. They also provide algebraic laws that allow process descriptions to be manipulated and analyzed, and permit formal reasoning about equivalences between processes (e.g., using bisimulation). Leading examples of process calculi include CSP, CCS, ACP, and LOTOS. More recent additions to the family include the π-calculus, the ambient calculus, PEPA, the fusion calculus and the join-calculus.
